BLOCK[S86,JMC] - www.SailDart.org

perm filename BLOCK[S86,JMC] blob sn#819577 filedate 1986-06-18 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	onab(mab(s)) :- \+ ab1(s).
C00003 ENDMK
C⊗;
onab(mab(s)) :- \+ ab1(s).
ab2(s) :- onab(s).
onbc(mbc(s)) :- \+ ab2(s).